This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
WeiterlesenThis volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
WeiterlesenThis book covers the area of convergence of software proofing and testing and feature current research work that combines ...
Weiterlesen